Evaluating the effectiveness of pointer alias analyses

Evaluating the effectiveness of pointer alias analyses

This paper describes an empirical comparison of the e ectiveness of six context-insensitive pointer analysis algorithms that use varying degrees of ow-sensitivity. Four of the algorithms are ow-insensitive, one is ow-sensitive, and another is ow-insensitive, but uses precomputed ow-sensitive information. The e ectiveness of each analysis is quanti ed in terms of compile-time e ciency and precis...

Evaluating the E ectiveness of Pointer Alias Analyses

LIMITED DISTRIBUTION NOTICE This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and spe...

Applications of Pointer Alias Analyses By

STATEMENT BYAUTHOR I hereby grant to the University of Arizona Librarv the nonexclusive worldrdde rffi Io reproduce and distiibute my thesis an'd abstract (herein, the "licensei[ materiils'), in whole or in pait, in any and all media of distribution and in any format in existence nbw or devel6ped in the future. I represent and warrairt to the Universiw of Arizona'that the fcensed miterials are ...

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses

This paper describes an empirical comparison of four contextinsensitive pointer alias analysis algorithms that use varying degrees of flow-sensitivity: a flow-insensitive algorithm that tracks variables whose addresseswere taken and stored; a flowinsensitive algorithm that computes a solution for each function; a variant of this algorithm that uses precomputed kill information; and a flow-sensi...

Configurable Pointer-Alias Analysis for CPAchecker